(set-logic QF_ALIA)
(set-option :model_validate true)
(declare-const v1 Bool)
(declare-const v8 Bool)
(declare-const A (Array (Array Int Bool) Bool))
(declare-const B (Array (Array Int Bool) Bool))
(declare-const C (Array (Array Int Bool) Bool))
(assert (or (distinct C A B) v8 v1))
(check-sat)